En logique mathématique, une théorie est dite k-catégorique pour un nombre cardinal k si elle a exactement un modèle de cardinalité k (à isomorphisme près). - Exemples de telles théories complètes Trouvé sur https://fr.wikipedia.org/wiki/Théorie_k-catégorique
Aucun résultat n’a été trouvé dans l’encyclopédie.
En logique mathématique, une théorie est dite k-catégorique pour un nombre cardinal k si elle a exactement un modèle de cardinalité k (à isomorphisme près). - Exemples de telles théories complètes